PDF Document

Source URL: staff.ustc.edu.cn

• Logic in computer science
• Formal methods
• Mathematical logic
• Notation
• Programming language
• Formal verification
• Semantics
• Structure
• Program transformation
• Logic programming
• Model theory
• Denotational semantics

How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did

Source URL: gogognome.nl

• Sorting algorithms
• Formal methods
• Theoretical computer science
• Edsger W. Dijkstra
• Hoare logic
• Static program analysis
• Dutch national flag problem
• Algorithm
• Quicksort
• Recursion
• Invariant
• Loop invariant

RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Constraint
• Program optimization
• Concolic testing
• Constraint logic programming

Energise London Monitoring and Evaluation Toolkit

Source URL: www.lsx.org.uk

• Impact assessment
• Evaluation methods
• Impact evaluation
• Observational study
• Philosophy of science
• Evaluation
• Logic model
• Recommender system
• Social return on investment
• Citizen science
• Program evaluation

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: cliplab.org

• International Conference on Logic Programming
• Symposium on Principles of Programming Languages
• ICLP
• Association for Computing Machinery
• Logic programming
• Logic
• Prolog

Evaluability Assessment: a systematic approach to deciding whether and how to evaluate programmes and policies Peter Craig and Mhairi Campbell What Works Scotland (WWS) aims to improve the way local areas in Scotland u

Source URL: whatworksscotland.ac.uk

• Evaluation
• Evaluation methods
• Evaluability assessment
• Methodology
• Theory of change
• Analysis
• Logic model
• Impact assessment
• Political science
• Impact evaluation
• Program evaluation

Pikes Peak United Way Logic Model Template (submit with application) Organization: Program Name: Priority Area: Amount Requested:

Source URL: www.ppunitedway.org

Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias

Source URL: www.cs.tufts.edu

• Hoare logic
• Static program analysis
• Predicate transformer semantics

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

Knowledge and Category-Based Induction1 John D. Coley, Patrick Shafto & Olga Stepanova Northeastern University Elizabeth Baraff MIT and Harvard University In this chapter we will present findings from a program of resear

Source URL: ccdlab.rutgers.edu

• Logic
• Reasoning
• Philosophy
• Epistemology
• Inductive reasoning
• Argument
• Reason
• Induction
• Analogy
• Expert
• Causal reasoning
• Inference